トランザクション整合性 transactional consistency

不変条件 invariantについての議論をする際の整合性は、トランザクション整合性のことを指す